kindcase(k; a.f(a); l,t.g(l;t) ) == if islocal(k) f(act(k)) else g(lnk(k);tag(k)) fi 

latex

Definitions	tag(k), lnk(k), act(k), islocal(k), if b t else f fi
FDL editor aliases	kindcase